The notion of -enriched natural transformation is the appropriate notion of homomorphism between enriched functors, the analog in enriched category theory of the ordinary notion of natural transformation in ordinary category theory.
-Enriched natural transformations constitute the 2-morphisms in the 2-category VCat.
For a cosmos for enrichment, let
, be a pair of -enriched categories
(we denote their hom-objects by etc., instead of or similar),
a pair of -enriched functors between them.
Then:
An enriched natural transformation between these enriched functors
(out of the tensor unit of ) indexed by )
such that for any pair of objects the following diagram commutes:
denotes the tensor product in ,
denotes the tensor unit in ,
, denote the left and right unitors of ,
, denote the component maps of the enriched functors between hom-objects,
denotes the composition-operation of .
The above diagram expresses the -enriched version of commutativity of the plain naturality square:
In generalization of how for plain natural transformations there is a notion of horizontal composition (“whiskering”) and vertical composition, so for enriched natural transformations:
(horizontal composition)
Given
where
is an enriched functor
then we obtain an enriched natural transformation of the form
with component maps given as the composition
For closed monoidal categories there is a close relation between -enriched natural transformations and -strong natural transformations.
For the moment see at enriched monad – relation to strong monads for more.
With Set denoting the category of sets and functions equipped with its cartesian monoidal-structure (via Cartesian product of sets), Set-enriched natural transformations are just plain natural transformations between functors between locally small categories.
With Cat denoting the 1-category of small strict categories equipped with its cartesian monoidal structure (via forming product categories), -enriched natural transformations are also known as strict 2-natural transformations.
Samuel Eilenberg, G. Max Kelly, §I.10 of: Closed Categories, in: Proceedings of the Conference on Categorical Algebra - La Jolla 1965, Springer (1966) 421-562 [doi:10.1007/978-3-642-99902-4]
Max Kelly, p. 9 of: Basic Concepts of Enriched Category Theory, Cambridge University Press, Lecture Notes in Mathematics 64 (1982), Reprints in Theory and Applications of Categories, 10 (2005) 1-136 [tac:tr10, pdf]
Francis Borceux, def. 6.2.4 of: Handbook of Categorical Algebra Vol 2, Cambridge University Press (1994)
Emily Riehl, §3.5 in Categorical Homotopy Theory, Cambridge University Press (2014) [doi:10.1017/CBO9781107261457, pdf]
For more references see at enriched category.
Last revised on December 20, 2023 at 08:53:29. See the history of this page for a list of all contributions to it.